41. Handbook of quantum logic and quantum structures: quantum logic
پدیدآورنده : edited by Kurt Engesser, Dov M. Gabbay, Daniel Lehmann
کتابخانه: (Semnan)
موضوع : ، Quantum logic
رده :
QC
174
.
17
.
H35
2009
42. Handbook of quantum logic and quantum structures: quantum logic
پدیدآورنده : / edited by Kurt Engesser, Dov M. Gabbay and Daniel Lehmann
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Quantum logic
رده :
530
.
12
015113
H236
2009
43. Handbook of the history of logic
پدیدآورنده : edited by Dov M. Gabbay and John Woods
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : History ، Logic
رده :
BC
15
.
H264
44. Handbook of the history of logic
پدیدآورنده : / edited by Dov M. Gabbay and John Woods
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Logic--History
رده :
BC
,
15
,.
H36
,
2004
45. Handbook of the history of logic
پدیدآورنده : / edited by Dov M. Gabbay and John Woods
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Logic--History
رده :
BC
,
15
,.
H36
,
2004
46. Handbook of the history of logic
پدیدآورنده : / edited by Dov M. Gabbay and John Woods
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Logic--History
رده :
BC
,
15
,.
H36
,
2004
47. Handbook of the history of logic
پدیدآورنده : / edited by Dov M. Gabbay and John Woods
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Logic--History
رده :
BC
,
15
,.
H36
,
2004
48. Handbook of the history of logic
پدیدآورنده : edited by Dov M. Gabbay and John Woods
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Logic, History
رده :
BC
.
H36
15
2004
49. Handbook of the history of logic
پدیدآورنده : edited by Dov M. Gabbay, Stephan Hartmann and John Woods
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : History ، Logic
رده :
BC
15
.
H36
2011
50. Handbook of the history of logic
پدیدآورنده : / edited by Dov M. Gabbay and John Woods
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Logic--History
رده :
BC
,
15
,.
H36
,
2004
51. Interactive logic :
پدیدآورنده : edited by Johan van Benthem, Dov Gabbay, Benedikt Löwe
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Game theory, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA269
.
I58
2007
52. Interpolation and definability
پدیدآورنده : Gabbay, Dov M., 5491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Interpolation,، Modality )Logic(,، Definability theory )Mathematical logic(
رده :
QA
281
.
G28I5
53. Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics
پدیدآورنده : by Dov M. Gabbay.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
رده :
BC199
.
M6
B936
1976
54. Investigations in modal and tense logics with applications to problems in philosophy and linguistics
پدیدآورنده : Gabbay, Dov M.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Modality )Logic(,، Semantics )Philosophy(,، Grammar, Comparative and general
رده :
BC
199
.
M6
.
G3
55. Investigations in modal and tense logics with applications to problems in philosophy and linguistics
پدیدآورنده : Gabbay, Dov M., 5491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Modality )Logic(,، Semantics )Philosophy(,، Grammar, Comparative and general
رده :
BC
199
.
M6G22
56. Labelled Deduction
پدیدآورنده : edited by David Basin, Marcello D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Logic.,Philosophy (General)
57. Logical tools for handling change in agent-based systems
پدیدآورنده : Dov M. Gabbay, Karl Schlechta
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Intelligent agents (Computer software),Logic, Symbolic and mathematical,Nonmonotonic reasoning
رده :
Q310
.
G33
2010eb
58. Mathematical problems from applied logic
پدیدآورنده : / edited by Dov M. Gabbay, Sergi S. Goncharov and Michael Zakharyaschev
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Logic, Symbolic and mathematical.
رده :
QA9
,.
M346
,
2006
59. Mathematical problems from applied logic I :
پدیدآورنده : edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.
رده :
QA9
.
A1
M38
2006eb
60. Mathematical problems from applied logic : logics for the XXIst century
پدیدآورنده : edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M28
